/**
 * 类型世界的公理：
 * 1. 所有变量都是常量（不可变）
 * 2. 所有函数都是纯函数（无副作用）
 * 3. 计算在编译时完成（无运行时）
 * 4. 递归深度有限（非图灵完备）
 * 5. 类型信息被擦除（运行时死亡）
 * 
 * 因此这不是通用语言，而是：
 * **一个受限制的、可判定的、用于证明的、会自我消亡的声明式系统**
 */


// ts还是太超前了：我预言未来其他编程语言肯定会借鉴这套图灵完备的类型系统的
// TS 证明了一件事：
// 给开发者图灵完备的编译期语言，但人为加递归深度墙、拒绝无限推导，就能在**“足够强大”与“编译器不炸”**之间取得平衡。
// 所以你感叹“TS 太超前”是对的——它提前把**“类型系统当作一门受控的、可使用的、每天敲的编程语言”**做成了现实。
// 未来十年，你会看到主流语言纷纷在发布公告里写下同一句话：
// “We introduce a type-level subset with template patterns, const folding, and bounded recursion, inspired by TypeScript.”
// 抄 TS 作业，会成为新一代语言的设计基线